Coherence, Homotopy and 2-Theories

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coherence, Homotopy and 2-Theories

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a Quillen model category structure on the category of 2-theories and 2-theory-morphisms where the weak equivalences are biequivalences of 2-theories. A biequiv...

متن کامل

Coherence for rewriting 2-theories

The problems of the identity of proofs, equivalences of reductions in term rewriting systems and coherence in categories all share the common goal of describing the notion of equivalence generated by a two-dimensional congruence. This thesis provides a unifying setting for studying such structures, develops general tools for determining when a congruence identifies all reasonable parallel pairs...

متن کامل

Homotopy Quantum Field Theories

We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms HCobord(n, X) such that an HQFT is a functor from this category into a category of linear spaces. We then derive some very general properties of HCobord(n, X),...

متن کامل

Homotopy Quantum Field Theories

In this short note we provide a review of some developments in the area of homotopy quantum field theories, loosely based on a talk given by the second author at the Xth Oporto Meeting on Geometry, Topology and Physics. Homotopy Quantum Field Theories Homotopy quantum field theories were invented by Turaev [10], though the idea goes back to Segal’s discussion of the possible geometry underlying...

متن کامل

Homotopy Theories of Diagrams

Suppose that S is a space. There is an injective and a projective model structure for the resulting category of spaces with S-action, and both are easily derived. These model structures are special cases of model structures for presheaf-valued diagrams X defined on a fixed presheaf of categories E which is enriched in simplicial sets. Varying the parameter category object E (or parameter space ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: K-Theory

سال: 2001

ISSN: 1573-0514,0920-3036

DOI: 10.1023/a:1011893700822